Library of medium-resolution fiber optic echelle spectra of F, G, K, and M field dwarfs to giants stars

We present a library of Penn State Fiber Optic Echelle (FOE) observations of a sample of field stars with spectral types F to M and luminosity classes V to I. The spectral coverage is from 3800 AA to 10000 AA with nominal a resolving power 12000. These spectra include many of the spectral lines most widely used as optical and near-infrared indicators of chromospheric activity such as the Balmer lines (H_alpha, H_beta), Ca II H & K, Mg I b triplet, Na I D_{1} and D_{2}, He I D_{3}, and Ca II IRT lines. There are also a large number of photospheric lines, which can also be affected by chromospheric activity, and temperature sensitive photospheric features such as TiO bands. The spectra have been compiled with the goal of providing a set of standards observed at medium resolution. We have extensively used such data for the study of active chromosphere stars by applying a spectral subtraction technique. However, the data set presented here can also be utilized in a wide variety of ways ranging from radial velocity templates to study of variable stars and stellar population synthesis. This library can also be used for spectral classification purposes and determination of atmospheric parameters (T_eff, log{g}, [Fe/H]). A digital version of all the fully reduced spectra is available via ftp and the World Wide Web (WWW) in FITS format.Comment: Latex file with 17 pages, 4 figures. Full postscript (text and figures) available at http://www.ucm.es/info/Astrof/fgkmsl/FOEfgkmsl.html To be published in ApJ

The infrared morphology of galactic centers

Initial results are presented of a program to map the centers of galaxies in the mid-infrared using the NASA-MSFC 20 pixel bolometer array. Maps at 10.8 micrometer of the galaxies NGC 5236 (M82), NGC 1808, NGC 4536, and NGC 4527 reveal complex emitting regions ranging in size from 500 pc to 2 kpc. The infrared spatial distributions generally resemble those in the visible and radio. In all cases a large fraction of the IRAS 12 micrometer flux originates in spatial structures prominent in the maps

A study of breakdown limits in microstrip gas counters with preamplification structures

We have studied the charge and breakdown limits of Microstrip Gas Counters (MSGC's) with two different preamplification structures: the Gas Electron Multiplier (GEM) and the Parallel-Plate Avalanche Counter (PPAC). It was found that in both cases the breakdown limit was increased by 1-2 orders of magnitude compared to the bare MSGC and that this was due to the spreading of the primary electron cloud during pre-amplification. This spreading reduces the charge density in the final MSGC avalanche, permitting much higher total gains before streamers form. The real practical gain limitations in these two-stage detectors arose not from sparking, but from a loss of proportionality due to space charge effects.http://www.sciencedirect.com/science/article/B6TJM-3V8TV5X-34/1/126083510ba3bfd528bad96ccdbc08a

Global Analysis of Nucleon Strange Form Factors at Low Q2Q^2

We perform a global analysis of all recent experimental data from elastic parity-violating electron scattering at low $Q^2$. The values of the electric and magnetic strange form factors of the nucleon are determined at $Q^2 = 0.1$ GeV/$c^2$ to be $G^s_E = -0.008 \pm 0.016$ and $G^s_M = 0.29 \pm 0.21$.Comment: 8 pages, 1 figur

Grazing-Incidence Neutron Optics based on Wolter Geometries

The feasibility of grazing-incidence neutron imaging optics based on the Wolter geometries have been successfully demonstrated. Biological microscopy, neutron radiography, medical imaging, neutron crystallography and boron neutron capture therapy would benefit from high resolution focusing neutron optics. Two bounce optics can also be used to focus neutrons in SANS experiments. Here, the use of the optics would result in lower values of obtainable scattering angles. The high efficiency of the optics permits a decrease in the minimum scattering vector without lowering the neutron intensity on sample. In this application, a significant advantage of the reflective optics over refractive optics is that the focus is independent of wavelength, so that the technique can be applied to polychromatic beams at pulsed neutron sources

On formal verification of arithmetic-based cryptographic primitives

Cryptographic primitives are fundamental for information security: they are used as basic components for cryptographic protocols or public-key cryptosystems. In many cases, their security proofs consist in showing that they are reducible to computationally hard problems. Those reductions can be subtle and tedious, and thus not easily checkable. On top of the proof assistant Coq, we had implemented in previous work a toolbox for writing and checking game-based security proofs of cryptographic primitives. In this paper we describe its extension with number-theoretic capabilities so that it is now possible to write and check arithmetic-based cryptographic primitives in our toolbox. We illustrate our work by machine checking the game-based proofs of unpredictability of the pseudo-random bit generator of Blum, Blum and Shub, and semantic security of the public-key cryptographic scheme of Goldwasser and Micali.Comment: 13 page

Instrumentation for X-Ray Astronomy from High-Altitude Balloons: Recent Developments and Future Plans

We describe our current effort and future plans to develop new detectors and methods for studying hard x-ray emission from the Universe during balloon flights